statement logic

un. 命题逻辑